An Assessment of Reiter ' s General MonotonicSolution
نویسنده
چکیده
Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodology and we provide a more general underlying semantics that will serve as basis for the assessment of other solutions as well.
منابع مشابه
Developing an Assessment Tool for Nursing Students` General Clinical Performance
Introduction: The necessity of valid and reliable assessment tools is one of the most emphasized issues in literature related to nursing students` clinical assessment. But it is believed that the present tools are mostly not valid and reliable, and can not measure students` performances properly. The aim of this study was to design a valid and reliable assessment tool for evaluation of nursing ...
متن کاملAn Assessment of Reiter's General Monotonic Solution to the Frame Problem and Its Applicability to Database Updates
Many solutions to the frame problem have been proposed in the literature, some are monotonic and some are nonmonotonic. Reiter recently proposed a solution and its application to the domain of database update speciication, but no proof of soundness or completeness has been provided. We assess Reiter's monotonic solution to the frame problem in the database domain following Sandewall's methodolo...
متن کاملReliability and validity of the persian version of the General Oral Health Assessment Index (GOHAI)
Introduction: As the oral health related quality of life has been important in many dental patients GOHAI is an acceptable tool, preparing its Persian version can be useful in oral health research among Persian populations. The aim of this study was to evaluate the reliability and validity of the Persian version of General Oral Health Assessment Index (GOHAI). Methods: Translation was perfor...
متن کاملHow to Progress a Database ( and Why ) I
One way to think about STRIPS is as a mapping from databases to databases, in the following sense: Suppose we want to know what the world would be like if an action, represented by the STRIPS operator , were done in some world, represented by the STRIPS database D 0. To nd out, simply perform the operator on D 0 (by applying 's elementary add and delete revision operators to D 0). We describe t...
متن کاملHow to Progress a Database (and Why) I. Logical Foundations
One way to think about STRIPS is as a mapping from databases to databases, in the following sense: Suppose we want to know what the world would be like if an action, represented by the STRIPS operator , were done in some world, represented by the STRIPS database D 0. To nd out, simply perform the operator on D 0 (by applying 's elementary add and delete revision operators to D 0). We describe t...
متن کامل